<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
    <head>
        <title>RVM : Quick Start Guide</title>
        <link rel="stylesheet" href="styles/site.css" type="text/css" />
        <META http-equiv="Content-Type" content="text/html; charset=UTF-8">
    </head>

    <body>
        <div id="page">
            <div id="main">
                <div id="main-header" class="pageSectionHeader">
                    <h1 id="title-heading" class="pagetitle">
                                                <span id="title-text">
                            RVM : Quick Start Guide
                        </span>
                    </h1>

                    <div class="page-metadata">
                        <p>This page last changed on Dec 10, 2011 by <font color="#0050B2">ebrangs</font>.</p>
                    </div>
                </div>

                <div id="content" class="view">
                    <div id="main-content" class="wiki-content group">
                    <div class="panel" style="border-width: 1px;"><div class="panelContent">
<ol>
	<li>hg clone <a class="external-link" href="http://jikesrvm.hg.sourceforge.net:8000/hgroot/jikesrvm/jikesrvm" rel="nofollow">http://jikesrvm.hg.sourceforge.net:8000/hgroot/jikesrvm/jikesrvm</a></li>
	<li>cd jikesrvm</li>
	<li>echo &quot;host.name=ia32-linux&quot; &gt; .ant.properties   # Change this to match appropriate host</li>
	<li>ant -Dconfig.name=prototype-opt             # Change this to select appopriate configuration</li>
	<li>./dist/prototype-opt_ia32-linux/rvm -version      # Change dir to use selected host and configuration</li>
</ol>
</div></div>
                    </div>

                    
                 
                </div>             </div> 
            <div id="footer" style="background: url(http://docs.codehaus.org/images/border/border_bottom.gif) repeat-x;">
                <p><small>Document generated by Confluence on Feb 17, 2012 10:24</small></p>
            </div>
        </div>     </body>
</html>
